121. Fuzzy Hardware

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.

122. Fuzzy-Logik :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Mathematics.,Engineering.,Logic, Symbolic and mathematical.

123. Fuzzy Relational Systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Data structures (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Systems theory.

124. Fuzzy Set Theory-and Its Applications

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Operations research.

125. Fuzzy Sets in Approximate Reasoning and Information Systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Data structures (Computer science).,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.

126. Generalization of some concepts and problems of complexity theory in structures

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Logic, Symbolic and mathematical,Computational complexity,Computer science -- Mathematics

127. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
.
G6
1996a

128. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1L44
Vol
.
6

129. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics

رده :
QA
9
.
A1
G6
1996

130. Granular Computing

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.

131. Groups, languages, algorithms : AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Group theory,Congresses ، Finite groups,Congresses ، Infinite groups

رده :
QA
174
.
A418
2003

132. Includes bibliographical references (p. 49-51). 0,B

پدیدآورنده :

کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)

133. Information, Uncertainty and Fusion

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Information storage and retrieval systems.,Logic, Symbolic and mathematical.,Mathematics.,Microeconomics.

134. Introduction to formal philosophy /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.

رده :
B808
.
5
.
I58
2018

135. Iteration Theories :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.

رده :
QA76
.
9
.
M35
B978
1993

136. Iteration theories

پدیدآورنده :

کتابخانه: (کرمان)

موضوع : Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
,
I56
1993

137. Iteration theories

پدیدآورنده :

کتابخانه: (کرمان)

موضوع : Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
,
I56
1993

138. Iteration theories : the equational logic of iterative processes

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Computer science - Mathematics,، Iterative methods )Mathematics(,، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
I56
1993

139. Justification logic :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.

رده :
QA9
.
A78
2019

140. Language and automata theory and applications :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.

رده :
QA267
.
L38
2018